E theorem prover - PDFSEARCH.IO - Document Search Engine

E theorem prover
Results: 21

#	Item
11	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence C. Paulson Computer Laboratory University of Cambridge, U.K. Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-12-06 04:58:13 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Automated reasoning Logic for Computable Functions E theorem prover Mathematical proof Theoretical computer science Applied mathematics Mathematics
12	Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-06-03 12:43:37 Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics
13	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
14	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
15	Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2014-11-26 09:16:24 Theoretical computer science CADE ATP System Competition Vampire E theorem prover CASC Automated reasoning Mathematical logic Mathematical proof Theorem Logic Mathematics Automated theorem proving
16	Phillip J. Windley 151 S[removed]East Lindon, UT[removed][removed]removed] Add to Reading List Source URL: phil.windley.org Language: English - Date: 2003-03-12 22:59:46 Formal methods Software Automated theorem proving Very-large-scale integration Formal verification Actor model E theorem prover Hardware description language HOL Theoretical computer science Logic in computer science Applied mathematics
17	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
18	Curriculum Vitae and Research Statement Dr. Alexandre Riazanov (Alexander Ryazanov1 ) Saint John, NB, Canada Add to Reading List Source URL: riazanov.webs.com Language: English Automated theorem proving Semantic Web Searching Term indexing Vampire Reasoning E theorem prover Automated reasoning Ontology Science Theoretical computer science Information science
19	The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe University of Miami, USA Abstract The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2009-07-26 04:55:53 Formal methods Vampire E theorem prover CADE ATP System Competition Geoff Sutcliffe CASC Software Theoretical computer science Automated theorem proving
20	PDF Document Add to Reading List Source URL: www.cs.uta.fi Language: English - Date: 2004-06-04 08:31:17 Automated theorem proving Model theory E theorem prover Theorem prover Tau First-order logic IP Logic in computer science Automated reasoning Theoretical computer science Mathematical logic Software